package se.sics.kompics.tutorial.tutorial4.FELD.communication;

import se.sics.kompics.PortType;

public class LeaderPort extends PortType {
	
	{
		indication(Trust.class);
	}

}
